اتحاد التمييز في TypeScript: بناء آلات الحالة الآمنة من حيث النوع | MLOG | MLOG